Quantum Zermelo problem for general energy resource bounds

A solution to the quantum Zermelo problem for control Hamiltonians with general energy resource bounds is provided. Interestingly, the energy resource of the control Hamiltonian and the control time define a pair of conjugate variables that minimize the energy-time uncertainty relation. The resulting control protocol is applied to a single qubit as well as to a two-interacting qubit system represented by a Heisenberg spin dimer. For these low-dimensional systems, it is found that physically realizable control Hamiltonians exist only for certain, quantized, energy resources.Comment: 13 pages, 1 figur

Newly described human polyomaviruses Merkel Cell, KI and WU are present in urban sewage and may represent potential environmental contaminants

Recently, three new polyomaviruses (KI, WU and Merkel cell polyomavirus) have been reported to infect humans. It has also been suggested that lymphotropic polyomavirus, a virus of simian origin, infects humans. KI and WU polyomaviruses have been detected mainly in specimens from the respiratory tract while Merkel cell polyomavirus has been described in a very high percentage of Merkel cell carcinomas. The distribution, excretion level and transmission routes of these viruses remain unknown

A Doubly Nudged Elastic Band Method for Finding Transition States

A modification of the nudged elastic band (NEB) method is presented that enables stable optimisations to be run using both the limited-memory quasi-Newton (L-BFGS) and slow-response quenched velocity Verlet (SQVV) minimisers. The performance of this new `doubly nudged' DNEB method is analysed in conjunction with both minimisers and compared with previous NEB formulations. We find that the fastest DNEB approach (DNEB/L-BFGS) can be quicker by up to two orders of magnitude. Applications to permutational rearrangements of the seven-atom Lennard-Jones cluster (LJ7) and highly cooperative rearrangements of LJ38 and LJ75 are presented. We also outline an updated algorithm for constructing complicated multi-step pathways using successive DNEB runs.Comment: 13 pages, 8 figures, 2 table

The reactivity of cyclopropyl cyanide in titan's atmosphere: a possible pre-biotic mechanism

Cyclopropyl cyanide and other simple nitriles detected in Titan's atmosphere could be precursors leading to the formation of organic macromolecules in the atmosphere of Saturn's largest satellite. Proposing a thermodynamically possible mechanism that explains their formation and supports experimental results represents a difficult challenge. Experiments done in the Atomic and Molecular Physics Laboratory at the University of Trento (AMPL) have studied the ion-molecule reaction between cyclopropyl cyanide and its protonated form, with reaction products being characterized by mass spectrometry. In addition to the expected ion-molecule adduct stabilized by non-covalent long-range interactions, in this work we prove that another distinct species having the same mass to charge ratio (m/z) of 135 is also produced. Moreover, from a previous study of the neutral cyclopropyl cyanide potential energy surface (PES) which shows a partial biradical character it has been possible to characterize the formation through the bimolecular reaction of a new covalent cyclic organic molecule. Calculations have been carried out at the ab initio Møller-Plesset (MP2) level of theory, ensuring the connectivity of the stationary points by using the intrinsic reaction coordinate (IRC) procedure. In order to characterize the reaction transition state, multireference calculations were done using a complete active space involving six electrons and six molecular orbitals [CAS (6 e, 6 m.o.)]. This study opens the possibility of exploring the formation of new organic molecules by gaseous phase ion-molecule interaction schemes, with such molecules having relevance in interstellar space and in astrobiology (and may be involved in prebiotic molecular evolution)

Equity, barriers and cancer disparities: study of the Spanish Society of Medical Oncology on the access to oncologic drugs in the Spanish Regions

[Purpose] The Spanish Society of Medical Oncology (SEOM) has conducted a study on the access to oncologic drugs across the 17 Spanish Regions with the aim of identifying potential heterogeneities and making proposals for eliminating the barriers identified at the different levels.[Methods] An Expert Panel made up of medical oncologists designed a survey on certain indications approved for 11 drugs in the approach of breast cancer, melanoma, lung cancer, prostate cancer and support treatment. This survey was sent to 144 National Health System (NHS) hospitals. [Results] 77 hospitals answered the survey. The information modules analysed were: scope of the Commission that establishes binding decisions related to drug access; conditions, stages and periods of drug application, approval and administration processes; barriers to accessing drugs. [Conclusions] The study shows variability in drug access. The SEOM makes proposals addressed to reducing the differences identified and homogenizing drug access conditions.This study was funded by SEOM

High variety of known and new RNA and DNA viruses of diverse origins in untreated sewage

Deep sequencing of untreated sewage provides an opportunity to monitor enteric infections in large populations and for high-throughput viral discovery. A metagenomics analysis of purified viral particles in untreated sewage from the United States (San Francisco, CA), Nigeria (Maiduguri), Thailand (Bangkok), and Nepal (Kathmandu) revealed sequences related to 29 eukaryotic viral families infecting vertebrates, invertebrates, and plants (BLASTx E score, <10(−4)), including known pathogens (>90% protein identities) in numerous viral families infecting humans (Adenoviridae, Astroviridae, Caliciviridae, Hepeviridae, Parvoviridae, Picornaviridae, Picobirnaviridae, and Reoviridae), plants (Alphaflexiviridae, Betaflexiviridae, Partitiviridae, Sobemovirus, Secoviridae, Tombusviridae, Tymoviridae, Virgaviridae), and insects (Dicistroviridae, Nodaviridae, and Parvoviridae). The full and partial genomes of a novel kobuvirus, salivirus, and sapovirus are described. A novel astrovirus (casa astrovirus) basal to those infecting mammals and birds, potentially representing a third astrovirus genus, was partially characterized. Potential new genera and families of viruses distantly related to members of the single-stranded RNA picorna-like virus superfamily were genetically characterized and named Picalivirus, Secalivirus, Hepelivirus, Nedicistrovirus, Cadicistrovirus, and Niflavirus. Phylogenetic analysis placed these highly divergent genomes near the root of the picorna-like virus superfamily, with possible vertebrate, plant, or arthropod hosts inferred from nucleotide composition analysis. Circular DNA genomes distantly related to the plant-infecting Geminiviridae family were named Baminivirus, Nimivirus, and Niminivirus. These results highlight the utility of analyzing sewage to monitor shedding of viral pathogens and the high viral diversity found in this common pollutant and provide genetic information to facilitate future studies of these newly characterized viruses

Both the C-Terminal Polylysine Region and the Farnesylation of K-RasB Are Important for Its Specific Interaction with Calmodulin

Background: Ras protein, as one of intracellular signal switches, plays various roles in several cell activities such as differentiation and proliferation. There is considerable evidence showing that calmodulin (CaM) binds to K-RasB and dissociates K-RasB from membrane and that the inactivation of CaM is able to induce K-RasB activation. However, the mechanism for the interaction of CaM with K-RasB is not well understood. Methodology/Principal Findings: Here, by applying fluorescence spectroscopy and isothermal titration calorimetry, we have obtained thermodynamic parameters for the interaction between these two proteins and identified the important elements of K-RasB for its interaction with Ca 2+ /CaM. One K-RasB molecule interacts with one CaM molecule in a GTP dependent manner with moderate, micromolar affinity at physiological pH and physiologic ionic strength. Mutation in the polybasic domain of K-Ras decreases the binding affinity. By using a chimera in which the C-terminal polylysine region of K-RasB has been replaced with that of H-Ras and vice versa, we find that at physiological pH, H-Ras-(KKKKKK) and Ca 2+ /CaM formed a 1:1 complex with an equilibrium association constant around 10 5 M 21, whereas no binding reaction of K-RasB-(DESGPC) with Ca 2+ /CaM is detected. Furthermore, the interaction of K-RasB with Ca 2+ /CaM is found to be enhanced by the farnesylation of K-RasB. Conclusions/Significance: We demonstrate that the polylysine region of K-RasB not only contributes importantly to th

A Transfinite Knuth-Bendix Order for Lambda-Free Higher-Order Terms

International audienceWe generalize the Knuth-Bendix order (KBO) to higher-order terms without λ-abstraction. The restriction of this new order to first-order terms coincides with the traditional KBO. The order has many useful properties, including transitivity, the subterm property, compatibility with contexts (monotonicity), stability under substitution, and well-foundedness. Transfinite weights and argument coefficients can also be supported. The order appears promising as the basis of a higher-order superposition calculus

Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints

Pseudo-Boolean (PB) constraints often have a critical role in constraint satisfaction and optimisation problems. Encoding PB constraints to SAT has proven to be an efficient approach in many applications, however care must be taken to encode them compactly and with good propagation properties. It has been shown that at-most-one (AMO) and exactly-one (EO) relations over subsets of the variables can be exploited in various encodings of PB constraints, improving their compactness and solving performance. In this paper we detect AMO and EO relations completely automatically and exploit them to improve SAT encodings that are based on Multi-Valued Decision Diagrams (MDDs). Our experiments show substantial reductions in encoding size and dramatic improvements in solving time thanks to automatic AMO and EO detection